翻訳と辞書
Words near each other
・ Mathematics and fiber arts
・ Mathematics and plausible reasoning
・ Mathematics and Science Academy UTB
・ Mathematics and Science High School at Clover Hill
・ Mathematics and science partnerships
・ Mathematics and the Imagination
・ Mathematics education
・ Mathematics education in Australia
・ Mathematics education in New York
・ Mathematics education in the United States
・ Mathematics Genealogy Project
・ Mathematics in Education and Industry
・ Mathematics in medieval Islam
・ Mathematics Made Difficult
・ Mathematics Magazine
・ Mathematics Mechanization and Automated Reasoning Platform
・ Mathematics of bookmaking
・ Mathematics of Computation
・ Mathematics of Control, Signals, and Systems
・ Mathematics of cyclic redundancy checks
・ Mathematics of general relativity
・ Mathematics of Operations Research
・ Mathematics of paper folding
・ Mathematics of radio engineering
・ Mathematics of Sudoku
・ Mathematics Presents Wu-Tang Clan & Friends Unreleased
・ Mathematics Subject Classification
・ Mathematics Tower, Manchester
・ Mathematics, Civics and Sciences Charter School
・ Mathematics, Engineering, Science Achievement


Dictionary Lists
翻訳と辞書　辞書検索 [ 開発暫定版 ]
スポンサード リンク

Mathematics Mechanization and Automated Reasoning Platform ： ウィキペディア英語版
Mathematics Mechanization and Automated Reasoning Platform

Mathematics Mechanization and Automated Reasoning Platform (Chinese: ), or Mathematics-Mechanization Platform (MMP, code named ''elimino''), is a group of automated theorem proving software based on an internal computer algebra system. It can be used on proving algebra and geometry theorems. This system is led by Wu Wenjun and based on Wu's method.
==Application modules==


抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Mathematics Mechanization and Automated Reasoning Platform」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.